Distributed Logic Programming

Distributed Logic Programming

Distributed object oriented logic programming

In this paper we introduce a programming language/system DK Parlog ++ which is an experimental testbed for distributed applications, particularly distributed AI and distributed knowledge base applications. The language is designed to have the concurrent computation ability of the Concurrent Logic Programming(CLP) languages, the knowledge representation and problem solving ability of Prolog, bot...

Distributed Concurrent Linear Logic Programming

We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: locationdependence/independence of names and movement of computation. We rst de ne the syntax and semantics of a modal linear logic that is suitable for expressing distributed computation, and then show that there is a close relationship betwe...

Distributed Contingency Logic and Security

In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...

Distributed Logic Programming with Oracles and Kappa

The recursive backtracking performed during the execution of a Prolog program can be interpreted as the traversal of a proof tree. An oracle is a sequence of clause indexes representing a path within that tree. Combined with the depth-rst left-to-right search of standard Prolog, an oracle provides an eeective means of communicating and recreating the state of an interrupted processor, denoting ...